Modeling Fault Trees Using Petri Nets
نویسندگان
چکیده
The paper presents an approach to safety analysis with the use of Fault Trees. The aim is to provide for more precise analysis of timing dependencies between the events of a tree. A Fault Tree is first represented formally and then converted into a time Petri net. The reachability analysis of the net provides the answer if the hazard can actually occur. The approach is illustrated by an example.
منابع مشابه
Probability Propagation Nets
This work introduces a Petri net representation for the propagation of probabilities and likelihoods, which can be applied to probabilistic Horn abduction, fault trees, and Bayesian networks. These so-called “probability propagation nets” increase the transparency of propagation processes by integrating structural and dynamical aspects into one homogeneous representation. It is shown by means o...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملModeling with extended fault trees
In the areas of both safety and reliability analysis the precise modeling of complex technical systems during development and for evaluation purposes is of great importance. Traditionally, fault tree models have been used to accomplish this, and, more recently, stochastic Petri-net models have begun to be employed. To provide engineers with an intuitive high-level modeling interface to Petri-ne...
متن کاملQuantitative evaluation of Pandora Temporal Fault Trees via Petri Nets
Using classical combinatorial fault trees, analysts are able to assess the effects of combinations of failures on system behaviour but are unable to capture sequence dependent dynamic behaviour. Pandora introduces temporal gates and temporal laws to fault trees to allow sequence-dependent dynamic analysis of events. Pandora can be easily integrated in model-based design and analysis techniques;...
متن کاملAdvanced Fault Tree Modeling
Fault trees show which joint components' faults mean system faults. Fault trees can often be used to determine dependability parameters of systems. Here it is shown that i) binary decision diagrams (BDDs) can also be used to calculate system mean failure frequency, ii) modeling dynamics of fault trees does not always mean Markov modeling, iii) a deeper understanding of interrelations between s-...
متن کامل